finite automation

См. также в других словарях:

• Finite & Deterministic Discrete Event System Specification — FD DEVS (Finite Deterministic Discrete Event System Specification) is a formalism for modeling and analyzing discrete event dynamic systems in both simulation and verification ways. FD DEVS also provides modular and hierarchical modeling features …   Wikipedia

• Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… …   Wikipedia

• Extended finite state machine — In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite state machine (EFSM) model, the transition can be expressed by an “if… …   Wikipedia

• Routing (electronic design automation) — Routing is a crucial step in the design of integrated circuits. It builds on a preceding step, called placement, which determines the location of each active element of an IC. Routing is then the process of addingall wires needed to properly… …   Wikipedia

• Pushdown automaton — In automata theory, a pushdown automaton (PDA) is a finite automaton that can make use of a stack containing data. Operation Pushdown automata differ from normal finite state machines in two ways: # They can use the top of the stack to decide… …   Wikipedia

• FSA — • Finite State Automation • FileMaker Solution Alliance …   Acronyms

• Automata-based programming (Shalyto's approach) — Automata Based Programming is a programming technology [1] . Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of a state machines are used in all stages of software development… …   Wikipedia

• Meshfree methods — are a particular class of numerical simulation algorithms for the simulation of physical phenomena. Traditional simulation algorithms relied on a grid or a mesh, meshfree methods in contrast use the geometry of the simulated object directly for… …   Wikipedia

• Electromagnetic field solver — Electromagnetic field solvers (or sometimes just field solvers) are specialized programs that solve (a subset of) Maxwell s equations directly. They form a part of the field of electronic design automation, or EDA, and are commonly used in the… …   Wikipedia

• CAD-Software — Ein einfaches Bauteil in 3D Ansicht (CATIA V5) Arbeiten mit CAD im Zeitraffer Der Begriff Rechnerunterstützte Konstruktion oder englisch Computer Aided Design (CAD) [ …   Deutsch Wikipedia

• Computer Aided Design — Ein einfaches Bauteil in 3D Ansicht (CATIA V5) Arbeiten mit CAD im Zeitraffer Der Begriff Rechnerunterstützte Konstruktion oder englisch Computer Aided Design (CAD) [ …   Deutsch Wikipedia